Roy polymorphismとstructural subtypingの違い